The Waves of a Total Category
نویسنده
چکیده
For any total category K , with defining adjunction ∨ a Y : K // set op , the expression W (A)(K) = set K op (K (A, ∨ −), [K,−]), where [K,−] is evaluation at K, provides a well-defined functor W : K // K̂ = set op . Also, there are natural transformations β : W ∨ // 1 K̂ and γ : ∨ W // 1K satisfying ∨ β = γ ∨ and βW = Wγ. A total K is totally distributive if ∨ has a left adjoint. We show that K is totally distributive iff γ is invertible iff W a ∨ . The elements of W (A)(K) are called waves from K to A. Write K̃ (K,A) for W (A)(K). For any total K there is an associative composition of waves. Composition becomes an arrow • : K̃ ◦K K̃ // K̃ . Also, there is an augmentation ̄ (−) : K̃ (−,−) // K (−,−) corresponding to a natural δ :W // Y constructed via β. We show that if K is totally distributive then • : K̃ ◦K K̃ // K̃ is invertible and then K̃ supports an idempotent comonad structure. In fact, K̃ ◦K K̃ = K̃ ◦K̃ K̃ so that • is the coequalizer of •K and K •, making K̃ a taxon in the sense of Koslowski [KOS]. For a small taxon T , the category of interpolative modules iMod(1,T ) is totally distributive [MRW]. Here we show, for any totally distributive K , that there is an equivalence K // iMod(1, K̃ ). 1. Preliminaries 1.1. Most of our notations and conventions are carried over from [MRW]. For a category K , we write |K | for the set of objects of K . If K and A are objects of K , K (K,A) denotes the set of arrows from K to A. We assume the existence of full categories of sets called set and SET, both toposes, with set a (full) subcategory of SET, and |set| an object of SET. The sets in set are called small sets. We assume that set has all sums indexed by objects of set and SET has all sums indexed by objects of SET. We will write i : set // SET for the inclusion. We write CAT for the 2-category of category objects in SET. If a category K in CAT has all its hom-sets K (K,A) in set, we say that K is locally small. For K and A in CAT, we write PRO(K ,A ) for the category The author gratefully acknowledges financial support from the Canadian NSERC. Diagrams typeset using M. Barr’s diagxy package Received by the editors 2015-07-14 and, in revised form, 2015-11-09. Transmitted by Ross Street. Published on 2015-11-30. 2010 Mathematics Subject Classification: 18A30.
منابع مشابه
P-32: The Effect of Cell Phone Waves (900 MHZ - GSMBand) on Sperm Parameters and Total Antioxidant Capacity in Adult Male Rats
Background: There is a great concern for the possible adverse effects of cell phones’ microwaves. Contradictory results, however, have been reported for the effects of these waves on the body. In the present study, the effect of cell phone microwaves on sperm parameters and total antioxidant capacity was investigated with regard to the duration of exposure and the amount of the frequency of the...
متن کاملارزیابی اثرات داروهای کوئین پیرول و سولپیرید بر روی امواج خودبخودی مغز در دو حالت هوشیاری و بیهوشی
Brain's waves are produced by spontaneous activity of neurons. These waves are changed by neurotransmitters in the central nervous system (CNS). Concentration of these neurotransmitters can be changed by various drugs and total power of brain waves also increase or decrease by these drugs. In this research effect of Quinpirol and Sulpiride on the brain waves was investigated. Male wistar rats (...
متن کاملThe effects of locus coeruleus electrical stimulation on brain waves of morphine dependent rats
Introduction: Opiates cause dependency via affect on central nervous system. Locus coeruleus nucleus is a main group of noradrenergic neurons in the brain that plays an important role in the expression of opioid withdrawal signs. During opioid withdrawal, brain waves change in addition to physical and behavioral signs. In this study, we examined the effects of locus coeruleus electrical sti...
متن کاملThe Effects of Cell Phone Waves (900 MHz-GSM Band) on Sperm Parameters and Total Antioxidant Capacity in Rats
متن کامل
An Investigation into the Use of Category Shifts in the Persian Translation of Charles Dickens’ Great Expectations
The present study aimed at finding Catford‟s category shifts applied in the Persian translation of Charles Dickens‟ novel Great Expectations to determine the most frequently used category shift and to check whether there is a significant difference between category shifts in the translation. To this end, 200 simple declarative sentences from the first 20 chapters...
متن کاملتوابع احتمالی حاکم بر نیروها و لنگرهای ناشی از امواج تصادفی دریا بر پایه قائم
Using the statistical characteristics is one of the methods to justify the random nature of the ocean waves. Probability function are used to facilitate the studies of the random waves parameters, such as the surface and height and period of the waves. Since, the force of the ocean waves are the prevalent principal forces on the offshore structures, the assignment of the significant structural ...
متن کامل